Alberto Sangiovanni-Vincentelli: tražiti na sajtu Z-Library

Slobodan pristup znanju i kulturi.

Don't use scam websites

Knjige (28)
Najpopularnije
Spisak
- Spisak
- Tabela

1

Synthesis of Finite State Machines: Logic Optimization

Synthesis of Finite State Machines: Logic Optimization

Tiziano Villa, Timothy Kam, Robert K. Brayton, Alberto Sangiovanni-Vincentelli (auth.)

Godina:

1997

Jezik:

english

Fajl:

PDF, 9.74 MB

5.0 / 5.0

english, 1997

2

Substrate Noise: Analysis and Optimization for IC Design

Substrate Noise: Analysis and Optimization for IC Design

Edoardo Charbon, Ranjit Gharpurey, Paolo Miliozzi, Robert G. Meyer, Alberto L. Sangiovanni-Vincentelli

Godina:

2001

Jezik:

english

Fajl:

PDF, 9.53 MB

0 / 0

english, 2001

3

Noise Analysis of Radio Frequency Circuits

Noise Analysis of Radio Frequency Circuits

Amit Mehrotra, Alberto Sangiovanni-Vincentelli (auth.)

Godina:

2004

Jezik:

english

Fajl:

PDF, 8.60 MB

0 / 0

english, 2004

4

Embedded Systems Development: From Functional Models to Implementations

Embedded Systems Development: From Functional Models to Implementations

Springer-Verlag New York

Alberto Sangiovanni-Vincentelli, Haibo Zeng (auth.), Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel (eds.)

Godina:

2014

Jezik:

english

Fajl:

PDF, 4.75 MB

0 / 0

english, 2014

5

Hardware-Software Co-Design of Embedded Systems: The POLIS Approach

Hardware-Software Co-Design of Embedded Systems: The POLIS Approach

Felice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Claudio Passerone, Alberto Sangiovanni-Vincentelli, Ellen Sentovich, Kei Suzuki, Bassam Tabbara (auth.)

Godina:

1997

Jezik:

english

Fajl:

PDF, 18.05 MB

0 / 0

english, 1997

6

Security Mechanisms and Security-Aware Mapping for Real-Time Distributed Embedded Systems

Security Mechanisms and Security-Aware Mapping for Real-Time Distributed Embedded Systems

Springer International Publishing

Chung-Wei Lin, Alberto Sangiovanni-Vincentelli

Godina:

2015

Jezik:

english

Fajl:

EPUB, 1.57 MB

0 / 0

english, 2015

7

Embedded Systems Development: From Functional Models to Implementations

Embedded Systems Development: From Functional Models to Implementations

Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel

Godina:

2013

Jezik:

english

Fajl:

PDF, 5.99 MB

0 / 0

english, 2013

8

Selected Papers on Computer Aided Design of Very Large Scale Integrated Circuits (Advances in Circuits and Systems)

Selected Papers on Computer Aided Design of Very Large Scale Integrated Circuits (Advances in Circuits and Systems)

Alberto Sangiovanni-Vincentelli

Godina:

1987

Jezik:

english

Fajl:

DJVU, 6.85 MB

0 / 0

english, 1987

9

The Unknown Component Problem: Theory and Applications

The Unknown Component Problem: Theory and Applications

Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli (auth.)

Godina:

2012

Jezik:

english

Fajl:

PDF, 2.72 MB

0 / 0

english, 2012

10

Embedded Software: Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings

Embedded Software: Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.)

Godina:

2002

Jezik:

english

Fajl:

PDF, 4.38 MB

0 / 0

english, 2002

11

The Unknown Component Problem: Theory and Applications

The Unknown Component Problem: Theory and Applications

Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli (auth.)

Godina:

2012

Jezik:

english

Fajl:

PDF, 4.83 MB

0 / 0

english, 2012

12

LOGIC MINIMIZATION ALGORITHMS FOR ALSISYNTHESIS

LOGIC MINIMIZATION ALGORITHMS FOR ALSISYNTHESIS

Kluwer Academic Publishers

ROBERT K.BRAYTON GARY D.HACHTEL CURTIS T.McMULLEN ALBERTO L.SANGIOVANNI-VINCENTELLI, Brayton, Robert K., Hachtel, Gary D., McMullen, C., Sangiovanni-Vincentelli, Alberto L., by Robert K. Brayton ... [et al.], Robert King Brayton

Godina:

1984

Jezik:

English

Fajl:

PDF, 5.01 MB

0 / 0

English, 1984

13

Synthesis of Finite State Machines: Functional Optimization

Synthesis of Finite State Machines: Functional Optimization

Timothy Kam, Tiziano Villa, Robert Brayton, Alberto Sangiovanni-Vincentelli (auth.)

Godina:

1997

Jezik:

english

Fajl:

PDF, 7.24 MB

5.0 / 5.0

english, 1997

14

Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems

Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems

Alper Demir, Alberto Sangiovanni-Vincentelli (auth.)

Godina:

1998

Jezik:

english

Fajl:

PDF, 7.17 MB

0 / 0

english, 1998

15

Security-Aware Design for Cyber-Physical Systems: A Platform-Based Approach

Security-Aware Design for Cyber-Physical Systems: A Platform-Based Approach

Springer International Publishing

Chung-Wei Lin, Alberto Sangiovanni-Vincentelli (auth.)

Godina:

2017

Jezik:

english

Fajl:

PDF, 4.10 MB

0 / 0

english, 2017

16

Logic Synthesis for Field-Programmable Gate Arrays

Logic Synthesis for Field-Programmable Gate Arrays

Rajeev Murgai, Robert K. Brayton, Alberto Sangiovanni-Vincentelli (auth.)

Godina:

1995

Jezik:

english

Fajl:

PDF, 9.29 MB

0 / 0

english, 1995

17

Logic Minimization Algorithms for VLSI Synthesis

Logic Minimization Algorithms for VLSI Synthesis

Robert K. Brayton, Gary D. Hachtel, Curtis T. McMullen, Alberto L. Sangiovanni-Vincentelli (auth.)

Godina:

1984

Jezik:

english

Fajl:

PDF, 6.32 MB

0 / 0

english, 1984

18

Steady-State Methods for Simulating Analog and Microwave Circuits

Steady-State Methods for Simulating Analog and Microwave Circuits

Kenneth S. Kundert, Jacob K. White, Alberto Sangiovanni-Vincentelli (auth.)

Godina:

1990

Jezik:

english

Fajl:

PDF, 5.02 MB

0 / 0

english, 1990

19

A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits

A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits

Henry Chang, Edoardo Charbon, Umakanta Choudhury, Alper Demir, Eric Felt, Edward Liu, Enrico Malavasi, Alberto Sangiovanni-Vincentelli, Iasson Vassiliou (auth.)

Godina:

1997

Jezik:

english

Fajl:

PDF, 19.01 MB

0 / 0

english, 1997

20

Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics

Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics

Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli (auth.)

Godina:

2001

Jezik:

english

Fajl:

PDF, 3.23 MB

0 / 0

english, 2001

21

Algorithms for Synthesis and Testing of Asynchronous Circuits

Algorithms for Synthesis and Testing of Asynchronous Circuits

Kluwer Academic Publishers

Luciano Lavagno, Alberto Sangiovanni-Vincentelli

Godina:

1993

Jezik:

english

Fajl:

DJVU, 2.54 MB

0 / 0

english, 1993

22

Security-Aware Design for Cyber-Physical Systems A Platform-Based Approach

Security-Aware Design for Cyber-Physical Systems A Platform-Based Approach

Springer International Publishing

Lin, Chung-Wei, Sangiovanni-Vincentelli, Alberto

Godina:

2017

Jezik:

english

Fajl:

PDF, 4.10 MB

0 / 0

english, 2017

23

Relaxation Techniques for the Simulation of VLSI Circuits

Relaxation Techniques for the Simulation of VLSI Circuits

Jacob K. White, Alberto Sangiovanni-Vincentelli (auth.)

Godina:

1986

Jezik:

english

Fajl:

PDF, 7.26 MB

0 / 0

english, 1986

24

Function/Architecture Optimization and Co-Design of Embedded Systems

Function/Architecture Optimization and Co-Design of Embedded Systems

Bassam Tabbara, Abdallah Tabbara, Alberto Sangiovanni-Vincentelli (auth.)

Godina:

2000

Jezik:

english

Fajl:

PDF, 8.42 MB

0 / 0

english, 2000

25

Synchronous Equivalence: Formal Methods for Embedded Systems

Synchronous Equivalence: Formal Methods for Embedded Systems

Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli (auth.)

Godina:

2001

Jezik:

english

Fajl:

PDF, 6.52 MB

0 / 0

english, 2001

26

Hybrid Systems: Computation and Control: 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings

Hybrid Systems: Computation and Control: 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Morari (auth.), Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli (eds.)

Godina:

2001

Jezik:

english

Fajl:

PDF, 7.73 MB

0 / 0

english, 2001

27

Substrate Noise: Analysis and Optimization for IC Design

Substrate Noise: Analysis and Optimization for IC Design

Edoardo Charbon, Ranjit Gharpurey, Paolo Miliozzi, Robert G. Meyer, Alberto Sangiovanni-Vincentelli (auth.)

Godina:

2003

Jezik:

english

Fajl:

PDF, 9.24 MB

0 / 0

english, 2003

28

Hybrid Systems: Computation and Control: 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings

Hybrid Systems: Computation and Control: 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Morari (auth.), Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli (eds.)

Godina:

2001

Jezik:

english

Fajl:

PDF, 15.60 MB

0 / 0

english, 2001